Fix bug in lab spec.