Added options for dumping