Fix typo in IDE documentation

Sorry for causing double work. I didn't see this typo in my initial revision, but I caught it double-checking after the merge.