Fix typos and and link to SeAT project