Very minor documentation tweak.