It's been a while since I lost this extension and I don't remember having to do anything special to have the semicolon added.