Remove dodgy looking printf