CW: oops, forgot to delete debugging output