These were supposed to be in 0caeaff1 and D83054, but a fat-fingered error when git-adding missed them. Ooops.