Minor change in hopes that the stalled Travis build will re-run