Slight changes to documentation