fix a couple of type errors in Mock1