Update critical_section.html