Fix missing header in FAQ.