BugFix: missing body bug with \k family