We show that there is a gap in Frolik's proof of the characterization theorem for his subclass P of pseudocompact spaces. We show that a minor modification of Frolik's proof results in a correct proof, and we give an example to show that Frolik's proof does not work in all cases (so some modification of his proof is needed to give a correct proof of the theorem).