An update that fixes some bugs encountered with the last 2.25.1.