xml dump: fixed some minor issues in symboldatabase dump