Corrections for code formatting