Reformatted a bit, no functional change.