Minor changes in recognizer