Sounds good. I noticed that we also have the Cmd symbol in the older update notification--should I fix it there too?