minor bug fixes in wd_ISR