Reformatted according to PhETStyle.xml