Document encoding

Fix #7