Done in d10b419.