Update after fixing a bug in the configuration script (#1091)