Bugfix: enabling travis