fixed an error, added distinction between dump ID and filename