Some minor additions and changes to the documentation