minor change to c code