fix order of some versions with semicolons; add 'not;'