Slight documentation tweak.