Converted manually written code to the new K format specifier.

Untested, but at least it still compiles.