*8891* fix

(I like to keep paths in code headers relative to the git repo, so no lib/pkp -- but maybe that's the wrong approach.)