more front_end fixes