This appears, then, to be a bug in the ServoTimeTimer1 library, rather than a problem with the Wiki page.
While the workaround should be documented until the library is fixed, you should also create a thread in the Software Bugs and Suggestions section, and/or try to contact the library author to get the library fixed, so the workaround is not needed.