Remove some annoying prints that mess up the now-pretty output