Thanks for fixing these, and the other formatting mistakes.