Good catch @AlinT, it is no longer used.