remove eval-uncovered, it is causing problems with coverage highlighting... needs to be fixed in a different way