Fix reference to octave in HISTORY