another minor doc update