Web server seems unreliable on Travis, let's do a check