another little bug fix