small bug fix for bing_bowtie