Slight documentation improvements