Documentation corrections and additions

It's the weekend, that means it's documentation time!