Fixing brainfart where encodeInteger really should have been encodeGauge