* fix html utf-8 representation of /