Fix Reformulation.