Another bug correction