Fix unhandled default value of the texmode option