the encoding bug is ok