Fix backend_ps.py

Fixes a bug inadvertently introduced by #2393