minor change in encoder