Fixed typo in succinct definition