Somehow these did not get into the final patch: