Trivial improvement on html des_notification