util: fix bug in serializing / deserializing lists of arguments