diff --git a/packages/CLPBN/examples/School/README b/packages/CLPBN/examples/School/README
index bbe305335..a3ec52a17 100644
--- a/packages/CLPBN/examples/School/README
+++ b/packages/CLPBN/examples/School/README
@@ -1,16 +1,15 @@
 
 This is a version of the school database, based on the PRM School example.
 
-There are four main files:
+There are the following main files:
 
-school_128.yap: a school with 128 professors, 256 courses and 4096 students.
-school_64.yap: medium size school
+school_32.yap:   school with 32 professors, 64 courses and 256 students
+school_64.yap:   school with 64 professors, 128 courses and 1024 students
+school_128.yap:  school with 128 professors, 256 courses and 4096 students
 
-sch32.yap: small school (PFL)
+parschema.pfl:   the PFL schema
 
-parschema.pfl: the PFL schema
-
-tables: CPTs
+tables:          CPTs
 
 =============================================================================
 
diff --git a/packages/CLPBN/examples/School/school_128.yap b/packages/CLPBN/examples/School/school_128.yap
index b650a71f9..ecbf398cb 100644
--- a/packages/CLPBN/examples/School/school_128.yap
+++ b/packages/CLPBN/examples/School/school_128.yap
@@ -4,7 +4,6 @@ total_professors(128).
 total_courses(256).
 
 total_students(4096).
-
 */
 
 :- use_module(library(pfl)).
@@ -21,6 +20,7 @@ total_students(4096).
 
 :- set_solver(hve).
 
+
 professor(p0).
 professor(p1).
 professor(p2).
@@ -18430,5 +18430,5 @@ registration(r13919,c221,s4095).
 registration(r13920,c39,s4095).
 
 
- :- [evidence_128].
+:- [evidence_128].
 
diff --git a/packages/CLPBN/examples/School/school_32.yap b/packages/CLPBN/examples/School/school_32.yap
index 60323f94e..48fcbcabc 100644
--- a/packages/CLPBN/examples/School/school_32.yap
+++ b/packages/CLPBN/examples/School/school_32.yap
@@ -4,7 +4,6 @@ total_professors(32).
 total_courses(64).
 
 total_students(256).
-
 */
 
 :- use_module(library(pfl)).
@@ -19,12 +18,9 @@ total_students(256).
 
 :- ensure_loaded('parschema.pfl').
 
-:- ensure_loaded(school32_data).
-
 :- set_solver(hve).
 
 
-
 professor(p0).
 professor(p1).
 professor(p2).
@@ -1241,5 +1237,3 @@ registration(r854,c60,s255).
 registration(r855,c48,s255).
 registration(r856,c0,s255).
 
-
-
diff --git a/packages/CLPBN/examples/School/school_64.yap b/packages/CLPBN/examples/School/school_64.yap
index 9a6ba140e..7564cc1b9 100644
--- a/packages/CLPBN/examples/School/school_64.yap
+++ b/packages/CLPBN/examples/School/school_64.yap
@@ -4,10 +4,8 @@ total_professors(64).
 total_courses(128).
 
 total_students(1024).
-
 */
 
-
 :- use_module(library(pfl)).
 
 :- source.
@@ -22,6 +20,7 @@ total_students(1024).
 
 :- set_solver(hve).
 
+
 professor(p0).
 professor(p1).
 professor(p2).