minor tweaks on documentation