Correct a few mistakes before publishing