Fix diagnostic naming