util: Fix the documentation of push_utf8_talloc()