Tweaks after writing the documentation