Correct usage of ginkgo-convert