Take out set_trace I added in 6fe538f2

Blech! :-(