Correction to package names