Minor edits to avoid triggering code formatting