Fixed PrintEncoders and other encoder stuff