another little bug fix...