Are the two `Println()`s cruft?