Fix small travis error

Fixes issue from #11