Typesetting fixes.