fixup 8eeb2a024f866b7

- forgot to update the type of a word
- make better use of verbosity parameter
- fix an encoding problem