Changed name from add_singleton! to push!