more front_end fixes
Merge pull request #24 from dcornnell/front_end

more front_end fixes