A few tweaks to improve the dev doc.