trivial doc fix