Lowered expected coverage by 10, otherwise it was failing although the actual
value is seems to be 100% covered by property-based tests.