Fix compilation errors due to fresh K.