Fix a few splint warnings