Fixed a bug in b6a3339 (Travis CI related)