fix a vc++ warning