minor doc nitpick