Fix type-error in writeback example.
Remove extraneous trace.