redirect fixes

more fixes for Ruleml/issues-ruleml#2