Fix place of functor prefix of helper clauses.