fix one tiny bug