Fix typo in IPB3xExporter

Thanks @Gravatronics