Fixing a comment in the source code