Statetrace: Fix compilation problem.