Slight documentation fixes