Fixed: Issue 233: Loading a document does not remove the previous one - leading to crashes