slight cleanup of a_star