Fix mistaken reference to Idris.