Minor tweak to comments