A few mistakes and additions