A tricky example added