Fix a flex bug.