fix typesetting error