Minor change to VariableByteEncoding class