Add encoding to the header file