Workaround weird class resolution issue