Fixed incorrect reference to platform type #112