fixed a few minor issues in process and solver