Make js formatting consistent.
Delete prevED.