Cleaning up synthesis module