Re #10355 Tweak docs