Fixing bugs in SetCoverageTables