make check_all pass