What to do if the steam generator leaks