Typos and linting