tweak checks on String#*