Minor changes to Hole.validityCheck()