sad this has to be defined in two different places, but I guess there is no other (nice) way around.. right?