Ensure that old domain details do not show up in new domain.

Pierre noticed this. We clear the domain details cache on terminating a
domain.