remove these, so we can re-add them with proper capitalization. why does git not detect this change?