Fixes a syntax error in the documentation