Fix bug encoding