Revert "minor bug."

This reverts commit 0dfc54999477d5a374aa50c4ad55d10126d45258.