[#226] Minor tweaks in docs