Fix breakage from 9234a0cdf3.