typo in home page of 2004.ruleml.org