Fix #13: [Travis] Build #13 has errored