#22170: avoid printing newlines twice in tutorial example.