Gulfstream Water Heater Light and Switch

I have a Gulfstream Class C. When the inside water heater is switched off, the red switch light next to the switch comes on. When I switch the water heater on , the light goes out. Seems it should be ...