WyC: removing unnecessary import of println
WyC: more little tweaks for the println import.`