Temperatures printed by device manager are now in correct format. Changed leftover char s[9] arguments to char * s