Trivial doc fix