* minor change

  (try to workaround
      https://code.google.com/p/mu0/issues/detail?id=79,
   though I can't reproduce it at all)