  We prove that every expansive continuous action with the weak specification
property of an amenable group $G$ on a compact Hausdorff space $X$ has the
Myhill property, i.e., every pre-injective continuous self-mapping of $X$
commuting with the action of $G$ on $X$ is surjective. This extends a result
previously obtained by Hanfeng Li in the case when $X$ is metrizable.
