cosmetic changes to p03.clj