corrected a compile error on some platforms