minor bug fix.