cosmetic error ...

... :-(