Trivial comment fix.