just a trivial comment modification