Typesetting bug fix.