Fix add512