added debug message to nail down a problem