Minor additions in rules.html