Purely syntatic and formatting corrections (no content)