Corrected coverage syntax bug for #5.