oops -- remove debugging code accidentally left behind