fixed the CHECK callback to handle the semantic change introduced with the former...