fix trivial doc