Correction of two bugs concerning alert messages