Allow whitespace in coverage directives
directive... I like the sound of that