trivial doc changes