Fixes Github capitalization.