BugFix: fixed Phi-list manipulation