Minor tweaks and formatting updates made to defect 11