Correct some errors in the 2.5.7 announcement