Question: this isn't technically necessary, since whitespace is always optional. Which will be more performance efficient: making the whitespace state match the empty string, and doing this? Or making the whitespace state /not/ match the empty string, and removing this statement?