Fixing comment, mistakenly made as a dos comment