Fixed Travis-CI tag. relates to issue #20.