Fix an error

It isn't clear that a closed subset of an extremally disconnected
space is extremally disconnected -- something that was tacitly
assumed in one of the arguments.

Is there a counter example...?