Minor SWIG fix after merge error