Minor fixes on documentation