Fixing compilation problems with GCC because of a mispositioned comment.