Update PKB.h