Now it compiles, too