trivial doc updates