bug fixes in certain encoders