fix bad types used for adds cover test -- this test still is quite far from being considered a cover