Fixed wrong output from dump()