Bug in the trigger definition corrected. (R. Arnaldi)