Update normdoc.py