Yet another automated conversion bug fixed