I have been doing and teaching TaeKwondo for 15 years. These forms are correct. People should remember certain Masters have changed moves over the years.
hskrnks about TKD Forms, v2.5.3