Fixed bugs in dining philosophers