Fix documentation typo

With PR 25, you fixed a documentation typo that actually introduced another typo. This PR fixes this.