minor doc improvement from SHA1 0be2be97b (no ticket)