dumper removed; for debugging only