small fix from check_all