minor doc update, see #4