Fix travis, fixes #12