Fixed a pure C compilation error