nitpick

It seems there is an unneeded character within the Legal Code, so I propose the following. As a note, you might not see the difference so best to read the annotations.