Fix bug introduced in 3fbd8879e6d3ec6c540e2e9976400f8d2f084b82.