Fix a code style issue in 2ac36f8