fixes for Manticore's reflection warnings fix