Missing coverage annotations