and now it compiles :-)