Rules fixed

stupid unification error