fixed off-by-one bug in export