minor change to encode