workaround for hidden definitions