Minor document tweak