Arity errors corrected