Should pipe from overflow switch have water in it?