Fix %!TEX option parsing.