fix a comment - we don't push, only tagging
more on documentation