Fix k-macros in program docs