This commit also modifies a previous migration. Because the change is so limited, we don't consider this a significant risk.