Fix splint warning