Fixed a code typo in the documentation