Merge "Minor doc tweak"