Updates.
Add minimization functionality, fix syntax error.