Tweak documentation for previous change