if you run "make ci-lint", go lang lint complains in a few places.

(command in the promptex branch currently)