Fix a tiny bug in converter