small cleanup; prettier statistics printing