Well spotted! It was preexisting, but I don't see why we shouldn't update it here.