Slight documentation updates