Small fixes in the isotonic code