reformatted the source code with style