Tidy up nomenclature in liapunov function algorithms.