Fix trivial comment