trivial doc fixes