Minor typo. Won't hold the PR if this is the only review comment