fix argument to check_ge