fix a typesetting.