Fix a thinko in previous change