Fix syntax of coverage run