Correction to satisfiability POs