Fix a missed semantic change