minor fixes; add language about kinds