Minor comment change (ctrl chars are not treated as spaces anymore)