Mer detaljer till BanachFix