fixup! WIP: avoid text box size weirdness on iPhone5