Update ide.md

proof read