Cleaned up a couple of issues in the FAQ.