style fix

tiny bug fix