Bad path after exporting; fixes #589