Added details about the encoding bug