Documentation: fix syntax error

Patch by David Waggoner