Fix typo in IDE documentation
Merge pull request #2043 from fernandoacorreia/ide-typo

Fix typo in IDE documentation