a few minor tweaks to export_members.rb