Make sure it compiles in 2.01