A few corrections to the key.