Fixed small documentation bug