Minor corrections to explicit rule numbering #359

Closed hsorby closed 2 years ago