Get rid of extraneous backtracking in include.