Minor fix of mysqldump command arguments