code formatting #871