correction fixed for TRAVIS use