Minor cosmetic edits