uniform the format, adding comment of POP_TOP

I think we need to say something about POP_TOP