Documentation tweakage