Revert unintentional change in 1357ea3a40f747e4e51b5b52612323fe55747da7