Correction to notes about `filterM`