(hopefully) fixing test that randomly fails on Travis