(Fixed mistake in the BIN-exporters description!)