Update normdoc.html