Tiny bug fix in WMain