minor API improvement for Ph_machine