Various changes to documentation