[PATCH] Fix references to trace doc