#3191: detachable is never called