Fixing typo, as the Travis CI build failed