User: fix mistaken attempt at unicoding string