Fix Wrong calcul in Prox Format detection