see if this makes travis happy