Clarified check_eq parameters