px4.c: small bugfix