Fix superfluous parameter
Add Travis CI badge