typo
Workaround to Travis CI