fix small problem in def rule. see #101.