Correction to code formatting