Edits from linting