modernization: oops, removed a debug printf