Reformatted; cleaned up.