The problem when a paratopolgical group (or semitopological group) is a topological group is interesting and important. In this paper, we continue to study this problem. It mainly shows that: (1) Let G be a paratopological group and put τ = ωHs(G); then G is a topological group if G is a Pτ-space; (2) every co-locally countably compact paratopological group G with ωHs(G) ≦ ω is a topological group; (3) every co-locally compact paratopological group is a topological group; (4) each 2-pseudocompact paratopological group G with ωHs(G) ≦ ω is a topological group. These results improve some results in [11, 13].