Update Error introduced last time due to auto-merge

remove the garbage introduced by last merge.
Kproj change here is a red harring.