So in original. The semicolon preceding the period probably should not appear.