Small doc update

There were some tiny errors in the doc