setup.yml: Minor corrections