Deal with Coverage's unkown state.

Part of issue #16.