Better go_to_std