Turing Typos

These are the typographical errors I have noticed in the on-line version of:

Turing, Alan M. (1936), "On Computable Numbers, with an Application to the Entscheidungsproblem", Proceedings of the London Mathematical Society, Ser. 2, Vol. 42: 230-265.

Note: Corrections are in boldface.

1. §5:

   "And lines such as To be written as"

   should be

   "And lines such as qi Sj R qm To be written as"

2. §5:

   "Our first standard form would be

   q1 S0 S1 R q2;q2 S0 S0 R q3;q3 S0 S0 R q4;q4 S0 S2 R q1;"

   should be

   "Our first standard form would be

   q1 S0 S1 R q2;q2 S0 S0 R q3;q3 S0 S2 R q4;q4 S0 S0 R q1;"

3. §6, paragraph beginning "It is not difficult", last line:

   "and exchanged or others" should be "and exchanged for others".

4. §8, last paragraph:

   "has been need throughout" should be "has been used throughout".

5. §9, part II:

   Throughout, the symbol [] appears (i.e., a rectangular box). In all cases, it should be replaced by a subscript α.

By "van Fraassen's theorem of proofreading", there are more errors than I have listed above. If you find any, please let me know.