Remove double specification of cex parameter