Minor bug fix for StorageManager.java