These are fixes to some typos I made in the suggestions of https://gitlab.com/sat-metalab/satie/-/merge_requests/484