Changed method references to PKB.h #85