texifying on onsubmit too