Minor edits (OCD)