Removed Idris for good