[#1] Minor fixes in documentation