Fix C docs for KK layout changes (#588).