minor: typo in coverage notation