make semicolon after PT_EXIT and PT_RESTART optional