Fix bug in converter