debugging driver, found an bug