several fixes of typos in rules

this is a cherry-pick of
8003a25360a6095ba227931d37ea3711ed90ebb6
(with unapplicable parts removed)