Tiny change to remove compiler warning;  make sure I pushed new binary.