Revert "minor fix #2"

This reverts commit f263b89bc60c0e181407200f0813ef47c5fe5de2.