Typesetting fix.