Fixing so that Cray C compiler is happy