The right border of this paragraph box should have a width of 10ex.