do not cause weird unification errors (closes #3364)