Small edits of KF.