Small typesetting fix.