Tiny detail in help text formatting