traces for Path R2, and fix some types