fix to RuleML/issues-ruleml/issues/32 going live