Small fix in FAQ.