Fix another SWIG glitch