Minor bugfix.
Added progress reporting to thunderdome.