Trivial document fix