Fixing the add checker functor