Fix two tests that fail when coverage is enabled