Fixed bug in dumps()