Fix typos

Couldn't push directly to the araport repo, so here goes the pull request.