Post-commit fix of a comment