Fixing typo which prevented the documented from being compilable