Fixes for two minor typos I happened to spot

I'm reasonably confident these are correct fixes, though it is possible I've misunderstood the AndIntro one.