small fix to allow compilation with microsoft VC++