Slightly improve output of test-push tool.