Avoid printing double headers on restart