[PPL-devel] Minor bug in PPL test-suite