* Fix printing of World size