fix encoding of titles of buttons