Bug in KrzCor