fix typesetting bug