working on redoing coverage computation (numbers not right yet)