Update anon, fix set_as_pushed