Some front end debugging fixes.