another fix in disk_size()