encoding bug is fixed