If this happens, switch off the pump. Remove the air tube and leave the pump running for a few minutes. Leave the pump to dry fully for at least three hours. The pump may make a different noise, but can still be used.
Wash the air tube in the same way that you wash the milk tube. This is safe to do as the tube is made from the same material as the milk tube.