some tiny bug fix