Just did some minor fix in the coding style.