Fix comment oddness from git pull.