Trivial comment fix