Corrected files to pass splint (static) test, run splint with make splint