Surprised these are added -- they didn't exist in master?