Ignoring coverage in ctrl-p