Correct encodings in UserGuide