Fixed an encoding bug in the documentation