Add a few tweaks to idea-document