The code now compiles