Encoding Bug Fixing