Some debugging of V0.5.