Fix a typo on coverage run script

Kids, don't do copy/paste!