A few tweaks to the documentation