changed example to show that we get the correct solution