Clarify wording

Mainly we just want to push to github to make sure that the Travis build
is working.