Specifying coverage options better