Fixing a bug in the representation of n-ary integer expressions