Fix errors in why_pstar-page