Fixed bug causing Travis CI not to pass