#19
Fix Travis CI error