Resolve a minor mistake which lead to Travis CI build failure.