diff --git a/packages/CLPBN/examples/School/README b/packages/CLPBN/examples/School/README
index 93265adf4..0dcd566c8 100644
--- a/packages/CLPBN/examples/School/README
+++ b/packages/CLPBN/examples/School/README
@@ -5,13 +5,13 @@ There are four main files:
 
 school_128.yap: a school with 128 professors, 256 courses and 4096 students.
 school_64.yap: medium size school
-school_32.yap: small school (pfl)
+school_32.yap: small school (clp(bn))
 
-sch32.yap: small school (clp(bn))
+sch32.yap: small school (pfl)
 
-parschema.yap: the CLP(BN) schema
+parschema.yap: the PFL schema
 
-schema.yap: the PFL schema
+schema.yap: the CLP(BN) schema
 
 tables: CPTs
 
@@ -53,4 +53,3 @@ rank(s0,X).
 
 rank(s0,X), student_intelligence(s0,h).
 
-
diff --git a/packages/CLPBN/examples/School/school_32.yap b/packages/CLPBN/examples/School/school_32.yap
index 00dc27a2c..cc9349460 100644
--- a/packages/CLPBN/examples/School/school_32.yap
+++ b/packages/CLPBN/examples/School/school_32.yap
@@ -1,5 +1,3 @@
-
-
 /*
 total_professors(32).
 
@@ -13,17 +11,13 @@ total_students(256).
 
 :- style_check(all).
 
+:- yap_flag(unknown,error).
+
 :- yap_flag(write_strings,on).
 
-:- ensure_loaded(parschema).
+:- use_module(library(clpbn)).
 
-:- yap_flag(unknown,error).
-%:- clpbn_horus:set_solver(lve).
-%:- clpbn_horus:set_solver(hve).
-:- clpbn_horus:set_solver(bp).
-%:- clpbn_horus:set_solver(bdd).
-:- clpbn_horus:set_solver(ve).
-%:- clpbn_horus:set_solver(cbp).
+:- [-schema].
 
 :- ensure_loaded(school32_data).