Updates after synthesiss and linting.