fix wdis output formating