Tweaks to the front-end.

2 jobs for time/mem_cast in 24 minutes and 11 seconds (queued for 10 seconds)