Updating: minorly improving DiningPhil