pgm 13.12, clarify comments