I am not particularly concerned but I see no reason to delete the 128 - it matches with mono's official method, so is probably best