Do we still need this comment (maybe not?)? If yes, please clean it up a bit (sentence-style).