Fix the formatting using GNU code style