Textbox now right size on iPad mini, though I don't really understand why