fix declare-datatypes dumping bug (bug 385)