fix failure that only occurs on travis (argh)