Minor changes to the notebook manager.