Explain Travis CI build failure and fix a typo