'filter -> withFilter' in the explanation of 'Map Comprehension'

According to 6.19 of the SLS, for comprehensions are desugared using 'withFilter' rather than 'filter'