(frontend.c) Some cleanups