Renamed files again. Just because git sometimes screws up with this when it's changing the case.