Fixes and "What we have seen so far" updated.