Bug fix in the flex processor