potentially fixing travis build error (?)