minor tweak to a comment