NaiveVSDZI: Bug correction