could not reproduce bug, but added debug statements