Fix other references to Idris.