Grammar tweak

The definition of Sp is:

    Sp = Spacechar*

so the matching of chars is already optional.