Cosmetic documentation tweak.