fix doc comment [skip ci]

diff --git a/util b/util
index 071188805692886f47965f3f943dcaf3c021e83e..df0165a90b95cfae6e3a09814ddaef7982d20054 160000 (submodule)
--- a/util
+++ b/util
@@ -1 +1 @@
-Subproject commit 071188805692886f47965f3f943dcaf3c021e83e
+Subproject commit df0165a90b95cfae6e3a09814ddaef7982d20054