minor documentation fixes

Just some random stuff :)