added erase() and some other tweaks to CoverageMap