Hi,
I've fixed this. Unfortunately, the fix only applies to new
notification (so the old buggy notifications will linger a while).
Browser refresh will be required for this to be fixed, but there will
be a big red banner requiring a refresh in the next few minutes.
Sorry about this -- it was my fault for not refereeing some code more carefully.
William