Gets rid of double-coverage

Since Kevin stuck this fix already, my implementing it only gets in the
automerger's way.