Oops, state was not accessible from outside.
Fix coverage script
Added a version of whitespace() that stops at newline