Yes, it was the same comment Lars made in another pull request.