Fix some dubious code in frontend/frontend.c.