Update after fixing production rules.