minor change to fix the Travis issue