Fix uint64 bug by using space appropriately.