export now works