Fix bug #9530 with incorrect display of zero-width stretch.