Fix micro-bug in turtle exporter