Update Labdefs.s12