Very minor documentation update.