Bugfix of integer-representation of encoder