tiny bug fix (even more)