trying to fix Github not detecting capitalization changes