Fixed a bug in F1 computation, which made the F1 take on too low values.
Does not change anything in the ordering relation of earlier computed F1
scores.