Reformatted code (wget from da4cb7f8303fc45df8ec9986ef8373b439cfe894)