Update encoder_ext.cpp

reformat