Fix typos in alttheoryskel