update of WFMonDBShort.py