running synvert
cleanup
fix synvert glitch