tiny bug fix (more)