Fix check_call spec