Revert "small modification"

This reverts commit 256400e26189ce2782fbfdc7b08b25f6553ce98d.