just a tiny bug fix