Minor code repairs.
Added to the FAQ.