Fixes from Martin Duerst for encoding.html, Daniel.
2 files changed