I would remove these code coverage annotations. They don't really make sense