fix #32: remove erroneous backtrack