Re: How to fix a package name with wrong capitalization?