(trivial) remove console print, etc.