(frontend.c) Remove another FIXME