Typo fixed: gerrit:198694.
Thanks to both of you for reporting and fixing! In the meantime I also documented this system message.