Code formatting. See #1207.