Update korn.h