Fix a couple of warnings
Fix the mutation coverage setup