I think you may have found a bug here...