removed old TODOs in .flex files