Updated definitions Mon Jul  8 16:45:04 CEST 2013