Fixed comment on binary search for greatest LIS.