Fix wrong checking semantics