And another space-width fix