Improve error message on bad @export.