Typesetting tweak.