Nice catch. If we leave it a "weak" limit, then we should document it.