One tiny typesetting issue fixed.