Fixed typesetting error