Fix several bugs. Enable tracing