As discussed in #378, there is a 0.5 multiplicative factor we do not understand. We should assess how often that condition is used.