another example that fails