small bug fix--duplicate code dropped