Fix ide.md bug