Minor fix in thermostat3 example