[MINOR CHANGE]: Fixing a formatting issue in the output of dumpStats