This is not the case. See #1571