I pasted that command in Extra Properties, but text is still brown. I really can live with it, though, so I would hate for anyone to use any intellectual energy on this.