(but it's fine to leak it as this should not be called much)