fixed bug in parallel composition