Added a few corrections to the rules documentation