fix a comment :-)