Slight documentation update