fix warning reported by Intel C compiler: