oops. remove a stray printf()