Trivial doc fixes