Never mind; the output doesn't show up there.