Reformulating the reset for HTML Patterns