minor bug fix for cc02b9762c387e5f5d0ce10ceb6b1179fb3fb08a