Hard-coded value of lab.cex - Closes #5