One more silly fix for add_encoder().