bug correction in the previous commit