specs for bugfix in encoded?