switch to @export as suggested by Hadley