Fix fence post error in 516719a