Minor addition to the previous commit