Fixed small documentation mistake