hopefully fix travis + coverage