* minor bug fix.