PKB.h reverted #95