Changed comment (trivial).