Thanks for the note, I updated the article accordingly.
BTW: do you know that you can edit wiki articles by yourself? Just register in the wiki, login; then you'll see an "Edit" link which opens the editor for the currently loaded article. Of course, don't vandalize!