One more fix for random Travis failures.