more style improvements to Pythagoras example