git was case-insensitive when I changed these in the last PR.