cosmetic changes to p12.clj