A few more minor additions to the FAQ