Known bugs fixed in section codecs