fix hte last remaining known (by me) phi translation bug. When we reanalyze