fix bug that caused 2\!1 to evaluate to 1