Fix proposal export (fixes #478)