forgot an instance of the (p;t)* -> (p;t)*;p bug.