[html5][html51] Fix section 4.12.4.