I think we might be papering over a potential bug here. Any idea why coverage changed from the previous revision?