update definitions

Should fix issue  #3: actual vs intended key lifetime