Fix a typo in a comment, no bug, DONTBUILD