Trivial comment change for precision.