Fix two missing proposition bodies.