Another minor bug fix.