fix a type bug in Mock1Test.cpp