Fix after changing the encoder interface.