Fixed typo in segreduce.html