Fix user id flex on recent firefox (API change)

Doesn't seem to have any negative effects on other browsers or older FF,
either.