Small edit in config script