js reformatting.