Cosmetic change in docs