So in original. The semicolon probably should be a colon.