Well of course this can be avoided but then we should change this everywhere else :wink: