simple changes to avoid travis-ci to be red :(