(minor doc update)