Code style: reformatted