minor modification to see if it makes travis go