More trivial changes to kick travis