~~should be # pragma: no cover~~

Actually, our .coveragerc looks for "pragma: no cover" so "#pragma.." vs "# pragma" is actually just a style difference.