annotated a bug I noticed in the method compiler