One of the examples compiles again.