Minor ProofWorksheet.loadWorksheet() refactoring