the above I think goes with 4-space indentation; any objections?