Fixed bug in psiHKphi where conj should be replaced by dag. Thanks to Ori Alberton for catching this.