Should Work now

Apparently, changing a name from upper to lowercase does not actually
change it in the commits.