Fix Compaction step 7.2.3.2 to move "Continue with the next expanded property from element" to 7.2.4.
Fix many markup errors, which people should be more careful about.