Yet another minor doc update.