Formatting changes for pull request #5