A small ground-source heat pump boosts the temperature if necessary ( such as when the house is left unoccupied during holidays : some of the heat the house uses is provided by the body heat of the occupants ) .