Merge "Docs: Fix minor typo, an extra "an""