Correct export to work around lazy-inits