Minor fix to kr.tex