Corrections to the manning-setup script