Exposed filters for profiles fields show html entities like "

I've got a profile field for my users which is a selection list, that contains values like:
Cycle "ingenierie informatique"

when I create a user view and I expose a filter on that field, I see stuff like:
Cycle " ingenierie informatique"

-> seems views applies the same translation to the field it would do for displaying html. Unfortunately, we're talking about a selection list.

It's probably fairly trivial to fix if you know where to look in the code...