Fix screwup on master branch