Revert an accidental change made in 07e135ec2581459bd82c660c5faa85ed3d31c1ff