Then I guess we ought to abbreviate it (and add … or whatever) explicitly, since our current DB isn't going to do it for us.