Trivial comment change for clarity.