Correction of bad package naming