According to the coding style, there should be no blank line here