Fix typo in 35e0995c6f587eff5066d2174508fd8003f8ce3d