Small simplification in gives_check