Style refinements to 10_5_1.rb